# ---> Agda
*.agdai

.emacs.desktop
*~
